Formal system

Results: 1034



#Item
11A compositional formal model for cyber-physical autonomous system Benjamin LION, Farhad ARBAB Introduction 

A compositional formal model for cyber-physical autonomous system Benjamin LION, Farhad ARBAB Introduction 

Add to Reading List

Source URL: www.win.tue.nl

- Date: 2017-06-27 16:15:41
    12The National Traffic System (NTS) Primer The ARRL National Traffic System (NTS) is a well-organized system for routing formal written message traffic (radiograms) from any point in the United States to any other. Message

    The National Traffic System (NTS) Primer The ARRL National Traffic System (NTS) is a well-organized system for routing formal written message traffic (radiograms) from any point in the United States to any other. Message

    Add to Reading List

    Source URL: www.noontimenet.org

    - Date: 2016-11-12 21:56:34
      13Formal Methods in System Design manuscript No. (will be inserted by the editor) Refutation-Based Synthesis in SMT Andrew Reynolds · Viktor Kuncak · Cesare Tinelli · Clark Barrett ·

      Formal Methods in System Design manuscript No. (will be inserted by the editor) Refutation-Based Synthesis in SMT Andrew Reynolds · Viktor Kuncak · Cesare Tinelli · Clark Barrett ·

      Add to Reading List

      Source URL: lara.epfl.ch

      - Date: 2017-08-25 12:01:44
        14A Formal Model of a Cloud Service Architecture in Terms of Ambient ASM K´aroly B´osa August 21, 2012 Abstract This document presents a formal model of a cloud service system in

        A Formal Model of a Cloud Service Architecture in Terms of Ambient ASM K´aroly B´osa August 21, 2012 Abstract This document presents a formal model of a cloud service system in

        Add to Reading List

        Source URL: www.cdcc.faw.jku.at

        - Date: 2016-01-04 05:51:38
          15A Case for Combining Industrial Pragmatics with Formal Methods Eric L. McCorkle I. BACKGROUND A. Dependent Types Dependently-typed languages [9] possess a type system with

          A Case for Combining Industrial Pragmatics with Formal Methods Eric L. McCorkle I. BACKGROUND A. Dependent Types Dependently-typed languages [9] possess a type system with

          Add to Reading List

          Source URL: cybersec-prod.s3.amazonaws.com

          - Date: 2016-10-05 17:20:39
            16FASE System Description System: The Integrating Object-Oriented Design and Formal Methods?

            FASE System Description System: The Integrating Object-Oriented Design and Formal Methods?

            Add to Reading List

            Source URL: i12www.ira.uka.de

            - Date: 2007-01-08 12:13:01
              17DepQBF: A Dependency-Aware QBF Solver (System Description) Florian Lonsing and Armin Biere Institute for Formal Models and Verification (FMV) Johannes Kepler University, Linz, Austria http://fmv.jku.at

              DepQBF: A Dependency-Aware QBF Solver (System Description) Florian Lonsing and Armin Biere Institute for Formal Models and Verification (FMV) Johannes Kepler University, Linz, Austria http://fmv.jku.at

              Add to Reading List

              Source URL: www.kr.tuwien.ac.at

              - Date: 2013-05-02 03:19:04
                18Appendix for FASE System Description System: The Integrating Object-Oriented Design and Formal Methods

                Appendix for FASE System Description System: The Integrating Object-Oriented Design and Formal Methods

                Add to Reading List

                Source URL: i12www.ira.uka.de

                - Date: 2007-01-08 12:13:02
                  19Formal Methods in System Design manuscript No. (will be inserted by the editor) A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata Sandie Balaguer · Thomas Chatain · Stefan Haar

                  Formal Methods in System Design manuscript No. (will be inserted by the editor) A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata Sandie Balaguer · Thomas Chatain · Stefan Haar

                  Add to Reading List

                  Source URL: www.lsv.ens-cachan.fr

                  - Date: 2012-03-07 10:57:44
                    20ETPS: A System to Help Students Write Formal Proofs ∗ Peter B. Andrews () Carnegie Mellon University Matthew Bishop ()

                    ETPS: A System to Help Students Write Formal Proofs ∗ Peter B. Andrews () Carnegie Mellon University Matthew Bishop ()

                    Add to Reading List

                    Source URL: www.cs.bu.edu

                    - Date: 2003-09-05 13:45:30